kw.\*:("Lógica multivalente")
Results 1 to 25 of 493
Selection :
Generated connectives in many valued logicMESIAR, R.Lecture notes in computer science. 1999, pp 282-286, issn 0302-9743, isbn 3-540-66050-XConference Paper
Generation of disjoint cubes for multiple-valued functionsFALKOWSKI, Bogdan J; LOZANO, Cicilia C; RAHARDJA, Susanto et al.IEEE International Symposium on Circuits and Systems. 2004, pp 133-136, isbn 0-7803-8251-X, 4 p.Conference Paper
On the categorizing of simply separable relations in partial four-valued logicRENREN LIU; ZHIWEI GONG; FEN XU et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28323-4, 3Vol, Part 3, 1251-1256Conference Paper
34th International Symposium on Multiple-Valued Logic (proceedings)International Symposium on Multiple-Valued Logic. 2004, isbn 0-7695-2130-4, 1Vol, XIV-353 p, isbn 0-7695-2130-4Conference Proceedings
Minimization of multivalued logic functionsGUIMA, T. A; TAPIA, M. A.International journal of electronics. 1987, Vol 63, Num 2, pp 171-183, issn 0020-7217Article
An interpolation theorem in many-valued logicHANAZAWA, M; TAKANO, M.The Journal of symbolic logic. 1986, Vol 51, Num 2, pp 448-452, issn 0022-4812Article
Multivalued logic integral calculusGIUMA, T. A; ABDOLLAH KATBAB.International journal of electronics. 1988, Vol 65, Num 6, pp 1051-1066, issn 0020-7217Article
Systematization of finite many-valued logics through the method of tableauxCARNIELLI, W. A.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 473-493, issn 0022-4812Article
Uniform description of calculi for all t-norm logicsAGUZZOLI, Stefano.International Symposium on Multiple-Valued Logic. 2004, pp 38-43, isbn 0-7695-2130-4, 1Vol, 6 p.Conference Paper
Algebraic properties of totally irreducible elements of clone latticesPOGOSYAN, Grant R; ROSENBERG, Ivo G.International Symposium on Multiple-Valued Logic. 2004, pp 109-114, isbn 0-7695-2130-4, 1Vol, 6 p.Conference Paper
Annotated hyperresolution for non-horn regular multiple-valued logicsLU, James J; MURRAY, Neil V; ROSENTHAL, Erik et al.Lecture notes in computer science. 2000, pp 301-310, issn 0302-9743, isbn 3-540-41094-5Conference Paper
Contribution à la théorie des probabilités symboliques = Contribution to the theory of symbolic probabilitiesOsseiran, Ahmad-Chawki; Deglas, Michel.1996, 110 p.Thesis
On fuzzy preference relationsOVCHINNIKOV, S.International journal of intelligent systems. 1991, Vol 6, Num 2, pp 225-234, issn 0884-8173, 10 p.Article
An idea of the test pattern generator for the pseudorandom testing of MVL circuitsJANASZEK, Agnieszka; MITAS, Andrzej.International conference on advanced computer systems. 2000, pp 333-336, isbn 83-87362-24-7Conference Paper
Towards a many-valued logic of quantified belief: the information latticeDRIANKOV, D.International journal of intelligent systems. 1991, Vol 6, Num 2, pp 135-166, issn 0884-8173, 32 p.Article
Monoids whose centralizer is the least cloneMACHIDA, Hajime; ROSENBERG, Ivo G.International Symposium on Multiple-Valued Logic. 2004, pp 102-108, isbn 0-7695-2130-4, 1Vol, 7 p.Conference Paper
Design of dynamic Reliability IndicesZAITSEVA, Elena N; LEVASHENKO, Vitaly G.Proceedings - International Symposium on Multiple-Valued Logic. 2002, pp 144-148, issn 0195-623X, isbn 0-7695-1462-6, 5 p.Conference Paper
Fault-tolerant system using 3-value logic circuitsHU, M; MOUFTAH, H. T.IEEE transactions on reliability. 1987, Vol 36, Num 2, pp 227-231, issn 0018-9529Article
Programming in three-valued logicDELAHAYE, J. P; THIBAU, V.Theoretical computer science. 1991, Vol 78, Num 1, pp 189-216, issn 0304-3975, 28 p.Article
Characterization theorem of lattice implication algebrasKONDO, Michiro.International Symposium on Multiple-Valued Logic. 2004, pp 257-260, isbn 0-7695-2130-4, 1Vol, 4 p.Conference Paper
Matrix method for solving multivalued logic differential equationsYANUSHKEVICH, S. N.IEE proceedings. Computers and digital techniques. 1997, Vol 144, Num 5, pp 267-272, issn 1350-2387Article
A numerical computation for declarative expressionsMIRO, J; MIRO-JULIA, M.Lecture notes in computer science. 1997, pp 238-251, issn 0302-9743, isbn 3-540-63811-3Conference Paper
Contribution au traitement logico-symbolique de la connaissance = A contribution to logico-symbolic treatment of knowlodgePacholczyk, Daniel; De Gas, Michel.1992, 626 p.Thesis
Generating essential primes for a boolean function with multiple-valued inputsKUO, Y. S.IEEE transactions on computers. 1987, Vol 36, Num 3, pp 356-359, issn 0018-9340Article
A systolic SBNR adaptive signal processorANDREWS, M.IEEE journal of solid-state circuits. 1986, Vol 21, Num 1, pp 120-128, issn 0018-9200Article